projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a0a03d) | patch
CI: Don't run style-check-diff by default
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 14 Feb 2023 23:53:02 +0000 (23:53 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 14 Feb 2023 23:53:02 +0000 (23:53 +0000)
commit073c836f96983dfafd41f0fec4a89566e24f3635
treef2fb7c8d544ce23a11695d330394b544d7413b90tree | snapshot
parent0a0a03d913ec768444a5e763bddea956b203a107commit | diff
CI: Don't run style-check-diff by default

We don't use it most of the time and it's also confusing to new contributors who think it's important to fix it.

Keep it for manual runs, so that interested people can just click a button to see the results. It also makes it easy to turn back on later.
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.